Programming Languages
& Formal Methods
& Formal Methods
We are a research group on [TOPIC] at DCC-FCUP. Our aim is to [GOALS]. Our research interests include:
- Software verification and theorem proving
- Program testing and analysis
- Programming languages and type systems
- Program logics and semantics
We aim to provide an active and inclusive research environment that includes [ACTIVITIES]. If you are interested in learning more, come to one of our meetings, or get in touch.
Recent news
| Date | Description |
|---|---|
| September 2024 | PLFM is now open to the public |
No matching items
Upcoming events
| Date | Location | Title |
|---|---|---|
| September 1st 15:00 | FC6 0.06 | Coq Seminar |
No matching items
Contact
office
chat
We are a research group at the Department of Computer Science, which is part of the Faculty of Sciences in the University of Porto.